Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
191	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
192	Microsoft Word - CoCo Seminar Series flyer Fall 2011.doc Add to Reading List Source URL: coco.binghamton.edu Language: English - Date: 2015-01-26 14:41:29 Models of computation Scientific modeling Science Agent-based model Complex systems Coco Generative Structure Systems science Complex systems theory Systems theory Multi-agent systems
193	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:08 Applied mathematics Formal methods Extended finite-state machine Theory of computation Finite-state machine Algorithm Grammar induction Models of computation Theoretical computer science Computer science
194	Microsoft Word - D16 panel functions.doc Add to Reading List Source URL: www.timefracture.org Language: English - Date: 2005-07-02 19:32:17 Accumulator Computer architecture Computing Minicomputers Assembly languages Models of computation Apollo Abort Guidance System Apollo Guidance Computer Central processing unit Computer hardware Front panel
195	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 04:10:13 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
196	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics
197	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science
198	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
199	Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:57:54 Computer science Turing machine Formal methods Models of computation Turing degree Recursively enumerable set Computability Μ-recursive function Lambda calculus Computability theory Theoretical computer science Theory of computation

UPDATE